You have chosen On Second-Order Logic, Characteristics and On Second-Order Logic.
All three must be different; choose another text.